Merge pull request #417 from gpsbabel/docbook5
authorGPSBabel <gpsbabel@users.noreply.github.com>
Wed, 30 Oct 2019 06:55:49 +0000 (01:55 -0500)
committerGitHub <noreply@github.com>
Wed, 30 Oct 2019 06:55:49 +0000 (01:55 -0500)
Docbook cleanup


Trivial merge